منابع مشابه
Constructive Matrix Theory
We extend the technique of constructive expansions to compute the connected functions of matrix models in a uniform way as the size of the matrix increases. This provides the main missing ingredient for a non-perturbative construction of the φ 4 field theory on the Moyal four dimensional space.
متن کاملConstructive Decision Theory
In most contemporary approaches to decision making, a decision problem is described by a sets of states and set of outcomes, and a rich set of acts, which are functions from states to outcomes over which the decision maker (DM) has preferences. Most interesting decision problems, however, do not come with a state space and an outcome space. Indeed, in complex problems it is often far from clear...
متن کاملConstructive Quantum Field Theory
The construction of a relativistic quantum field is still an open problem for fields in spacetime dimension d ≥ 4. The conceptual difficulty that sometimes led to fear an incompatibility between nontrivial quantum systems and special relativity has however been solved in the case of dimension d = 2, 3 although, so far, has not influenced the corresponding debate on the foundations of quantum me...
متن کاملMatrix-based Constructive Theorem Proving
Formal methods for program verification, optimization, and synthesis rely on complex mathematical proofs, which often involve reasoning about computations. Because of that there is no single automated proof procedure that can handle all the reasoning problems occurring during a program derivation or verification. Instead, one usually relies on proof assistants like NuPRL (Constable et al., 1986...
متن کاملConstructive Quantum Field Theory
The pioneering work of early non-relativistic quantum theory led to the understanding that quantum dynamics on Hilbert space is a comprehensive predictive framework for microscopic phenomena. From the Bohr atom, through the nonrelativistic quantum theory of Schrödinger and Heisenberg, and the relativistic Dirac equation for hydrogen, agreement between calculation and experiment improved rapidly...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of High Energy Physics
سال: 2007
ISSN: 1029-8479
DOI: 10.1088/1126-6708/2007/09/008